xen/arm: Only enable physical IRQs when the guest asks
authorJulien Grall <julien.grall@linaro.org>
Thu, 12 Dec 2013 18:59:06 +0000 (18:59 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 16 Dec 2013 16:04:54 +0000 (16:04 +0000)
commit132f65cb4164b54a98e150754330391fc05f8c46
tree404a5cb6239d5ed78e257c03f53acbd8a3482e08
parenta660ee3e8dd5af51656fdfbb7c571dea35c31175
xen/arm: Only enable physical IRQs when the guest asks

Set/Unset IRQ_DISABLED from gic_irq_enable and gic_irq_disable.
Enable IRQs when the guest requests it, not unconditionally at boot time.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.c
xen/arch/arm/vgic.c